Section: New Results

Formalizing Quantum Computing

Participant : Laurent Théry.

We have formalized an algorithm proposed by Peter Selinger to synthesize quantum gates. His approach mixes number theoretical notions and linear algebra, two aspects that are well covered by the Mathematical Components Library.